Na teoria dos sistemas de reescrita, o lema de Newman enuncia que um sistema de redução abstrato noetheriano (ou fortemente normalizante, isto é, um sistena no qual não há cadeias de redução infinitas) é confluente se, e somente se, ele for localmente confluente. Esta propriedade dos sistemas de redução abstratos pode ser utilizada para mostrar a confluência de tais sistemas.
Atualmente o lema é visto como sendo um resultado puramente combinatorial baseado em uma propriedade válida para algumas relações (de serem bem-fundadas), devido a uma prova por indução noetheriana dada por Gérard Huet em 1980. A demonstração original de Newman foi consideravelmente mais complicada.[1]
- ↑ Harrison, p. 260; Paterson(1990), p. 354.